When A Complicated Proof Simplifies Everything